MODEL CHECKING PLANS FOR FLEXIBLE MANUFACTURING SYSTEMS

Model Checking Plans for Flexible Manufacturing Systems

In this work an approach to analyze non-deterministic execution plans for flexible manufacturing systems is presented. This approach consists of modeling the system using coloured Petri nets and then, by simulation, discover the possible executions for the system. After, model checking is used to prove that the model behavior do not deviate from the planning. Based on this approach it is possib...

Deadlock prevention in flexible manufacturing systems using symbolic model checking

Flexible Manufacturing Systems and Quantitative Anlysis of Flexible Manufacturing Systems

A flexible manufacturing system is a high automated GT machine cell, consisting of a group of processing workstations (usually CNC machine tools), interconnected by an automated material handling and storage system, and controlled by a distributed computer system. The reason the FMS is called flexible is that it is capable of processing a variety of diffrent part styles simultaneously at the va...

Determination of efficient simulation model fidelity for flexible manufacturing systems

This paper presents a framework for the determination of an efficient level of simulation model fidelity for flexible manufacturing systems, which will achieve acceptable output accuracy with minimum resources and thereby reduce model building effort and computation time. To this end, we first formally define different levels of model fidelity using building blocks available in object–oriented ...

An Optimal Preventive Maintenance Model to Enhance Availability and Reliability of Flexible Manufacturing Systems

General preventive maintenance model for the components of a system, which improves the reliability to ‘as good as new,’ was used to optimize the maintenance cost. The cost function of a maintenance policy was minimized under given availability constraint. On the other hand, in order to ensure appropriate reliability and availability, the development of the optimal maintenanc...